Taxonomic Reasoning
نویسنده
چکیده
In formalizing knowledge for common sense reasoning, one often needs to partition some domain. An instance of this from the Blocks World is the statement "All blocks are either held, on the table, or on another block." Although we can write this axiom in predicate calculus or in clause form for input to a theorem prover, such representations are highly space inefficient. In this paper we present a generalized clause form that allows for the compact representation of arbitrary partitions, along with a set of corresponding inference rules. Additionally, a theorem prover implementing these rules is described that demonstrates their utility with certain kinds of common sense rule bases.
منابع مشابه
Partonomic Reasoning as Taxonomic Reasoning in Medicine
Taxonomic anatomical knowledge, a major portion of medical ontologies, is fundamentally characterized by is-a and part-whole relations between concepts. While taxonomic reasoning in generalization hierarchies is well-understood, no fully conclusive mechanism as yet exists for partonomic reasoning. We here propose a new representation construct for part-whole relations, based on the formal frame...
متن کاملAuthor's Personal Copy Inductive Reasoning about Causally Transmitted Properties Author's Personal Copy Author's Personal Copy
Different intuitive theories constrain and guide inferences in different contexts. Formalizing simple intuitive theories as probabilistic processes operating over structured representations, we present a new computational model of category-based induction about causally transmitted properties. A first experiment demonstrates undergraduates’ context-sensitive use of taxonomic and food web knowle...
متن کاملReasoning over Taxonomic Change: Exploring Alignments for the Perelleschus Use Case
Classifications and phylogenetic inferences of organismal groups change in light of new insights. Over time these changes can result in an imperfect tracking of taxonomic perspectives through the re-/use of Code-compliant or informal names. To mitigate these limitations, we introduce a novel approach for aligning taxonomies through the interaction of human experts and logic reasoners. We explor...
متن کاملGeneralization with Taxonomic Information
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorithm for the task, discusses the algorithm and task complexity, and presents semantic properties of sorted generalization. Based on its semantic properties, we show how sorted generalization is applicable to such problems...
متن کاملInductive reasoning about causally transmitted properties.
Different intuitive theories constrain and guide inferences in different contexts. Formalizing simple intuitive theories as probabilistic processes operating over structured representations, we present a new computational model of category-based induction about causally transmitted properties. A first experiment demonstrates undergraduates' context-sensitive use of taxonomic and food web knowle...
متن کاملRich in vitamin C or just a convenient snack? Multiple-category reasoning with cross-classified foods.
Two studies examined multiple category reasoning in property induction with cross-classified foods. Pilot tests identified foods that were more typical of a taxonomic category (e.g., "fruit"; termed 'taxonomic primary') or a script based category (e.g., "snack foods"; termed 'script primary'). They also confirmed that taxonomic categories were perceived as more coherent than script categories. ...
متن کامل